$\forall$$A$:$\mathbb{P}$. ($\downarrow$$A$) $\in$ $\mathbb{P}$